David Schmidt (eds.): ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Planetary Astrobiology

Planetary Astrobiology

University of Arizona Press

Victoria Meadows, Giada Arney, Britney Schmidt, David J. Des Marais (eds.)

ปี:

2020

ภาษา:

english

ไฟล์:

PDF, 40.51 MB

0 / 0

english, 2020

2

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 4.61 MB

0 / 0

english, 2002

3

Image-Guided IMRT

Image-Guided IMRT

Springer Berlin Heidelberg

Wilfried De Neve (auth.), Thomas Bortfeld, Rupert Schmidt-Ullrich, Wilfried De Neve, David E. Wazer (eds.)

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 14.04 MB

0 / 0

english, 2006

4

Reduction in Science: Structure, Examples, Philosophical Problems

Reduction in Science: Structure, Examples, Philosophical Problems

Springer Netherlands

Wolfgang Balzer, David Pearce, Heinz-Jürgen Schmidt (auth.), Wolfgang Balzer, David A. Pearce, Heinz-Jürgen Schmidt (eds.)

ปี:

1984

ภาษา:

english

ไฟล์:

PDF, 11.96 MB

0 / 0

english, 1984

5

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 8.33 MB

0 / 0

english, 2004

6

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 5.01 MB

0 / 0

english, 2011

7

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 3.71 MB

0 / 0

english, 2004

8

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

ปี:

1992

ภาษา:

english

ไฟล์:

DJVU, 4.91 MB

0 / 0

english, 1992

9

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

ปี:

2008

ภาษา:

english

ไฟล์:

PDF, 16.55 MB

0 / 0

english, 2008

10

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Schmidt (auth.), Alan Mycroft (eds.)

ปี:

1995

ภาษา:

english

ไฟล์:

DJVU, 4.09 MB

0 / 0

english, 1995

11

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kalman Babković, László Nagy, Damir Krklješ (auth.), Achim Gottscheber, David Obdržálek, Colin Schmidt (eds.)

ปี:

2010

ภาษา:

english

ไฟล์:

PDF, 5.88 MB

0 / 0

english, 2010

12

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

R. C. Hardie (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

ปี:

1985

ภาษา:

english

ไฟล์:

PDF, 6.88 MB

0 / 0

english, 1985

13

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 3.97 MB

0 / 0

english, 2004

14

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

ปี:

2012

ภาษา:

english

ไฟล์:

PDF, 5.57 MB

0 / 0

english, 2012

15

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

ปี:

2008

ภาษา:

english

ไฟล์:

PDF, 74.10 MB

0 / 0

english, 2008

16

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

ปี:

2012

ภาษา:

english

ไฟล์:

PDF, 5.79 MB

0 / 0

english, 2012

17

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 3.25 MB

0 / 0

english, 2002

18

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Springer-Verlag New York

David Richard Schmidt, Heather Waldeck (auth.), David A. Puleo, Rena Bizios (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 2.10 MB

0 / 0

english, 2009

19

Socio-technical Design of Ubiquitous Computing Systems

Socio-technical Design of Ubiquitous Computing Systems

Springer International Publishing

Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker (eds.)

ปี:

2014

ภาษา:

english

ไฟล์:

PDF, 8.67 MB

0 / 0

english, 2014

20

Designing Socially Embedded Technologies in the Real-World

Designing Socially Embedded Technologies in the Real-World

Springer-Verlag London

Volker Wulf, Kjeld Schmidt, David Randall (eds.)

ปี:

2015

ภาษา:

english

ไฟล์:

PDF, 7.11 MB

0 / 0

english, 2015

21

Query Processing in Database Systems

Query Processing in Database Systems

Springer-Verlag Berlin Heidelberg

Matthias Jarke, Jürgen Koch, Joachim W. Schmidt (auth.), Dr. Won Kim, Dr. David S. Reiner, Dr. Don S. Batory (eds.)

ปี:

1985

ภาษา:

english

ไฟล์:

PDF, 22.25 MB

0 / 0

english, 1985

22

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Springer-Verlag Berlin Heidelberg

David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt (auth.), Francesco Amoroso, Umberto Zannier (eds.)

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 2.58 MB

0 / 0

english, 2003

23

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Petia Wohed, David Truffet, Gustaf Juell-Skielse (auth.), Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 10.78 MB

0 / 0

english, 2011

24

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Springer Vienna

David Hilbert, Erhard Schmidt (auth.), Albrecht Pietsch (eds.)

ปี:

1989

ภาษา:

german

ไฟล์:

PDF, 16.20 MB

0 / 0

german, 1989

25

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 2.30 MB

0 / 0

english, 2002

26

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

DJVU, 5.58 MB

0 / 0

english, 1994

27

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

T. B. van Wimersma Greidanus, A. B. Grossman (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

ปี:

1991

ภาษา:

english

ไฟล์:

PDF, 9.78 MB

0 / 0

english, 1991

28

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

N. Mei (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

ปี:

1983

ภาษา:

english

ไฟล์:

PDF, 7.83 MB

0 / 0

english, 1983

29

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 4.92 MB

0 / 0

english, 2002

30

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

ปี:

2002

ภาษา:

english

ไฟล์:

PDF, 3.74 MB

0 / 0

english, 2002

31

Progress in Sensory Physiology 6

Progress in Sensory Physiology 6

Springer-Verlag Berlin Heidelberg

T. Sato (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

ปี:

1986

ภาษา:

english

ไฟล์:

PDF, 17.52 MB

0 / 0

english, 1986

32

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 5.45 MB

0 / 0

english, 2009

33

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 5.50 MB

0 / 0

english, 2009

34

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

DJVU, 5.74 MB

0 / 0

english, 1996

35

Progress in Sensory Physiology 9

Progress in Sensory Physiology 9

Springer-Verlag Berlin Heidelberg

R. D. Foreman (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis, Professor Dr. David Ottoson (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

PDF, 6.33 MB

0 / 0

english, 1989

36

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

G. Westheimer (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Eduard Roy Perl, Professor Dr. Robert F. Schmidt, Professor Dr. David Ottoson (eds.)

ปี:

1981

ภาษา:

english

ไฟล์:

PDF, 6.86 MB

0 / 0

english, 1981

37

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

W. Skrandies (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

ปี:

1987

ภาษา:

english

ไฟล์:

PDF, 4.82 MB

0 / 0

english, 1987

38

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 4.74 MB

0 / 0

english, 2009

39

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 7.68 MB

0 / 0

english, 2011